From cb48d6ebf6df5208779a1995ab62179938139cb4 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Thu, 29 Jul 2021 22:00:37 +0200 Subject: Remove old packages MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- cedilla [disowned]/watch- | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100755 cedilla [disowned]/watch- (limited to 'cedilla [disowned]/watch-') diff --git a/cedilla [disowned]/watch- b/cedilla [disowned]/watch- deleted file mode 100755 index c2fa7f1..0000000 --- a/cedilla [disowned]/watch- +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -[ -f 'NEWS.text' ] && rm 'NEWS.text' -wget 'http://www.pps.univ-paris-diderot.fr/~jch/software/cedilla/NEWS.text' >/dev/null 2>/dev/null -if [ $? = 0 ]; then - [ -f unfetchable ] && rm unfetchable - md5sum < NEWS.text > new-sum - touch sum - if [ "$(cat sum)" = "$(cat new-sum)" ]; then - rm new-sum - else - mv new-sum sum - echo 'cedilla' - fi - rm NEWS.text -elif [ ! -f unfetchable ]; then - touch unfetchable - echo 'cedilla (unfetchable)' -fi - -- cgit v1.2.3-70-g09d2